1. A theory of programming language semantics

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers( -- Semantics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

2. Advanced R

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)

رده :
QA276
.
45
.
R3
H335
2019

3. Advances in computers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.

رده :
QA76
.
A38eb
vol
.
13

4. An Attribute grammar for the semantic analysis of ADA

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.

رده :
QA76
.
73
.
A35
J845
1982

5. An Attribute grammar for the semantic analysis of ADA

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
73
.
A35
.
A87
1982

6. Automata, languages, and programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

7. CONCUR'91 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

8. Communicating Process Architectures 2002 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)

رده :
QA76
.
73
.
O2
W67
2002eb

9. Complementary Definitions of Programming Language Semantics.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers),Semantics.

رده :
QA76
.
7
J436
2007

10. Complementary definitions of programming language semantics

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

11. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory

رده :
Q
335
.
H39
1989

12. Computational Semantics with Functional Programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

رده :
QA76
,.
7
.
E43
2010

13. Computational semantics with functional programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

رده :
QA
76
.
7
.
E35C6
2010
E-Book
,

14. Computational semantics with functional programming /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik

رده :
QA76
.
7
.
E43
2010eb

15. Current trends in concurrency :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

16. Denotational semantics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik

رده :
QA76
.
7
.
S34
1986

17. Denotational semantics : the Scott-Strachey approach to programming language theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
7
.
S74

18. Formal syntax and semantics of Java

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1523

19. Formal syntax and semantics of Java

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999

20. Formal syntax and semantics of Java

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;